Automated simulation and verification of process models discovered by process mining
نویسندگان
چکیده
منابع مشابه
Automated Validation and Verification of Process Models
In process programming, processes are modeled as pieces of software, and a process programming language is used to specify the process. Such a language resembles a conventional programming language, providing constructs such as iteration and selection. This approach allows models to be simulated and enacted easily. However, it also suffers from the same problems that plague traditional programm...
متن کاملAnalysis of Rules Discovered by the Data Mining Process
This paper describes how symbolic rules may be extracted from Radial Basis Function neural networks and shows how they can be used by the data mining and knowledge discovery process. Rule extraction overcomes a major disadvantage of neural networks which is concerned with making the comprehensibilty of the learned internal model more open to scrutiny. Having extracted the symbolic rules we show...
متن کاملVerification of Process Models
This chapter presents an ontology-driven approach that aims at supporting semantic verification of semiformal process models. The ontology-driven approach suggested consists of two steps. The first step is the development of a model for ontology-based representation of process models. This representation allows enriching process models by annotating them with semantics specified in a formal ont...
متن کاملHeuristic Verification and Validation of Software Process Simulation Models
We illustrate the use of heuristic algorithms to improve the verification and validation of software process simulation models. To use this approach, an optimization problem is formulated to guide a heuristic search algorithm that will attempt to locate configurations of the system that yield surprising results. These surprising results often help the modeler to identify flaws in the model logi...
متن کاملInter-Paradigm Translation of Process Models using Simulation and Mining
Process modeling is usually done using imperative modeling languages like BPMN or EPCs. In order to cope with the complexity of human-centric and flexible business processes several declarative process modeling languages (DPMLs) have been developed during the last years. DPMLs allow for the specification of constraints that restrict execution flows. They differ widely in terms of their level of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatika
سال: 2020
ISSN: 0005-1144,1848-3380
DOI: 10.1080/00051144.2020.1734716